package coverage.randoopgen;
import junit.framework.*;
import junit.textui.*;

public class RandoopTestBinTree extends TestCase {

  public static void main(String[] args) {
    TestRunner runner = new TestRunner();
    TestResult result = runner.doRun(suite(), false);
    if (! result.wasSuccessful()) {
      System.exit(1);
    }
  }

  public RandoopTestBinTree(String name) {
    super(name);
  }

  public static Test suite() {
    TestSuite result = new TestSuite();
    result.addTest(new TestSuite(RandoopTestBinTree0.class));
    result.addTest(new TestSuite(RandoopTestBinTree1.class));
    result.addTest(new TestSuite(RandoopTestBinTree2.class));
    result.addTest(new TestSuite(RandoopTestBinTree3.class));
    result.addTest(new TestSuite(RandoopTestBinTree4.class));
    result.addTest(new TestSuite(RandoopTestBinTree5.class));
    result.addTest(new TestSuite(RandoopTestBinTree6.class));
    result.addTest(new TestSuite(RandoopTestBinTree7.class));
    result.addTest(new TestSuite(RandoopTestBinTree8.class));
    result.addTest(new TestSuite(RandoopTestBinTree9.class));
    result.addTest(new TestSuite(RandoopTestBinTree10.class));
    result.addTest(new TestSuite(RandoopTestBinTree11.class));
    result.addTest(new TestSuite(RandoopTestBinTree12.class));
    result.addTest(new TestSuite(RandoopTestBinTree13.class));
    return result;
  }

}
